.LTR(Professor Woody Bledsoe)
Applied Mathematics Department
University of Texas at Austin
Austin, Texas
.FAC

Dear Woody,

Greetings!  I've just returned from the USSR, and it feels good to "relax"
by continuing my research. I hope the last few days of the IJCAI conference
were productive for you. I was afraid that all that singing at the banquet
might drive you back into the hospital!

I'm sending you a copy of my dissertation proposal, 
as you requested. Recall that it is a system which intuitively "discovers"
simple mathematical concepts, which aims at
expertise in theorem %2proposing%* rather than theorem %2proving%*.
If you find it relevant and/or interesting,
perhaps we can discuss it
further. 

I hope to have some interesting results by December.
Assuming the work progresses smoothly, I should receive my Ph.D. this
Spring, and I would be happy to talk 
at Texas
about my research 
sometime this Winter.
Please keep in touch, especially about your ideas for a %2tabula raza%* math system.

.DBL